741. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 Proceedings
پدیدآورنده : edited by Ehud Shapiro
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L4
v
.
225
742. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986: Proceedings
پدیدآورنده : edited by Ehud Y. Shapiro
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
225
743. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 :
پدیدآورنده : edited by Ehud Shapiro.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming -- Congresses.,Logic programming.,Programmation logique -- Congrès.
رده :
QA76
.
6
E358
1986
744. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده : Dirk Beyer, Marieke Huisman (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
رده :
QA76
.
9
.
S88
745. Topics in theoretical computer science :
پدیدآورنده : Luís S. Barbosa, Mohammad Ali Abam (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Algorithms & data structures.,Computer science.,Computer science.,Computers-- Data Processing.,Computers-- Machine Theory.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA75
.
5
746. Towards evolvable hardware : the evolutionary engineering approach
پدیدآورنده : Eduardo Sanchez, Marco Tomassini )eds.(
کتابخانه: (طهران)
موضوع : ، Computers -- Circuits,، Programmable logic devices,، Genetic algorithms,Computer simulation ، Biological systems,، Evolutionary programming )Computer science(
رده :
QA
76
.
L28
Vol
.
1062
747. Transactions and change in logic databases : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on )Trans( Actions and Change in Logic Programming and Deductive Databases, )DYNAMICS'97(, Port...Jefferson, NY, USA, October 17, 1997 : invited surveys and selected papers
پدیدآورنده : Burkhard Freitag...]et al.[, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Deductive databases,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1472
748. Trees in Algebra and Programming - CAAP '96 :
پدیدآورنده : edited by Hélène Kirchner.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming.,Computer science.,Programming languages (Electronic computers)
رده :
QA166
.
2
E358
1996
749. Trends, Techniques, and Problems in Theoretical Computer Science :
پدیدآورنده : edited by Alica Kelemenová, Jozef Kelemen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Statistics.
750. Trends in Artificial Intelligence :
پدیدآورنده : edited by Edoardo Ardizzone, Salvatore Gaglio, Filippo Sorbello.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer Science.
رده :
Q334
.
E358
1991
751. Trends in Functional Programming :
پدیدآورنده : edited by Jay McCarthy.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.
رده :
QA76
.
62
E358
2014
752. Trends in Functional Programming
پدیدآورنده : \ Jurriaan Hage , Jay McCarthy (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Functional programming (Computer science) -- Congresses.,Logic design -- Computer programs -- Congresses.,Data structures (Computer science) -- Congresses.,طراحی منطقی -- برنامه‌های کامپیوتری -- کنگره ها ,ساختار داده‌ها -- کنگره ها
رده :
QA
76
.
62
.
T7
2015
E-Book
,
753. Trends in functional programming :
پدیدآورنده : Michał Pałka, Magnus Myreen (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer science.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.,Logic design.,Operating systems (Computers)
رده :
QA76
.
62
.
I58
2018
754. Trends in functional programming :
پدیدآورنده : David Van Horn, John Hughes (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.
رده :
QA76
.
62
755. Trends in functional programming :
پدیدآورنده : edited by Meng Wang, Scott Owens.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
62
756. Truth, deduction, and computation
پدیدآورنده : / R.E. Davis
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Programming languages (Electronic computers)- Semantics,Logic, Symbolic and mathematical,Electronic data processing
رده :
QA76
.
7
.
D386
1989
757. Typed Lambda Calculi and Applications :
پدیدآورنده : edited by Masahito Hasegawa.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra -- Data processing.,Computer science.,Logic design.
رده :
QA9
.
5
E358
2013
758. Typed Lambda Calculi and Applications :
پدیدآورنده : edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Lambda calculus -- Congresses.,Logic design.
رده :
QA9
.
5
E358
1995
759. Uncertainty Theory
پدیدآورنده : by Baoding Liu.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Distribution (Probability theory).,Engineering.,Operations research.
760. Uncertainty treatment using paraconsistent logic
پدیدآورنده : Joao Inacio da Silva Filho, Germano Lambert-Torres and Jair Minoro Abe
کتابخانه: كتابخانه مركزي دانشكده نفت اهواز (خوزستان)
موضوع : Neural networks (Computer science),Uncertainty (Information theory),Logic programming,Inconsistency (Logic),Artificial intelligence
رده :
QA
,
76
.
87
,.
S57
,
2010
